domain reduction（领域缩减/取值域缩减）：在数学、逻辑与计算机科学（尤其是约束满足问题 CSP、优化与推理）中，指通过约束、规则或推断，缩小变量可能取值的集合（domain），以减少搜索空间、提高求解效率。（在不同领域也可泛指“把讨论/适用范围缩小”。）
/doʊˈmeɪn rɪˈdʌkʃən/
Domain reduction can speed up the search.
领域缩减可以加快搜索过程。
By enforcing arc consistency, the solver performs domain reduction on each variable until no further values can be eliminated.
通过施加弧一致性，求解器会对每个变量进行领域缩减，直到再也无法剔除更多取值。
domain 源自拉丁语 dominium（“所有权、支配范围”），引申为“范围、领域/（变量的）定义域”；reduction 源自拉丁语 reducere（“带回、使减少”）。合在一起，字面意思就是“把（可用）范围减少”，在约束编程中专指“缩小变量的取值域”。
Select Language